退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:铁路联锁系统的验证
C S. Busard; C. Pecheur; P. Schaus; Simon Busard; Charles Pecheur;
机译:使用抽象状态机验证铁路信号系统联锁表的准确性
机译:通过正式验证验证铁路互锁系统,案例研究
机译:联锁无砂砌块砌体系统破坏机理的研究与发展。
机译:铁路道口状况监测的相关分析与验证
机译:Hepa过滤器差压风扇联锁系统的软件验证和验证测试报告。
机译:联锁数据验证装置和联锁数据设计验证系统
机译:个人识别密码联锁装置,个人识别验证装置及系统,个人识别密码联锁及个人识别验证方法
机译:CILKRAS-基于云的铁路控制系统。 -这是一个联锁系统,可利用基于共享云服务器的资源和服务,高速数据网络的强大功能和经济性,可访问性和可靠性不断提高的高效率运行火车。这将使铁路基础设施的建设更加容易和经济。这将特别有利于铁路网络的商业用户,如煤炭和其他矿产资源行业。铁路网络运营商将有更多选择,以最适合他们的方式实施网络控制。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。